
#functionnav {
    left: 0;
    display: block;
    margin-top:70px;
    float: left;
    position: fixed;
    list-style: none;
    width: 12em;
    height: 650px;
    border: 1px solid;
    line-height: 30px;
    background-color: #333;
}

ul#menu, ul#menu ul {
    list-style-type: none;
    margin: 0;
    padding: 0;
    width: 12em;
}

ul#menu a {
    display: block;
    text-decoration: none;
}

ul#menu li {
    margin-top: 1px;
}

ul#menu li a {
    background: #333;
    color: #fff;
    padding: 0.5em;
}

ul#menu li a:hover {
    background: #000;
}

ul#menu li ul li a {
    background: #ccc;
    color: #000;
    padding-left: 20px;
}

ul#menu li ul li a:hover {
    background: #aaa;
    border-left: 5px #000 solid;
    padding-left: 15px;
}

.code {
    border: 1px solid #ccc;
    list-style-type: decimal-leading-zero;
    padding: 5px;
    margin: 0;
}

.code code {
    display: block;
    padding: 3px;
    margin-bottom: 0;
}

.code li {
    background: #ddd;
    border: 1px solid #ccc;
    margin: 0 0 2px 2.2em;
}

.indent1 {
    padding-left: 1em;
}

.indent2 {
    padding-left: 2em;
}

#center {
    padding-top: 72px;
    width: 100%;
    height: auto;
    float: left;
}

#divright {
    float: right;
    height: 100%;
    width: 83%;
    overflow-y: scroll;
    overflow-x: auto;
    overflow: hidden;
}